منابع مشابه
B Formal Validation of ERTMS/ETCS Railway Operating Rules
The B method is a formal specification method and a means of formal verification and validation of safety-critical systems such as railway systems. In this short paper, we use the B4MSecure tool to transform the UML models, fulfilling requirements of European Railway Traffic Management System (ERTMS) operating rules, into B specifications in order to formally validate them.
متن کاملThe Effect of Information Technology on Operating Costs of Selected Iranian Banks
This research investigates the impact of information technology on operating costs of the selected public and private banks in Iran. Independent variables are the size of the bank, cost of human resources, communication equipment and network, Database, communication hardware and software. We use balance panel data for 9 selected banks (Melli, Mellat, Sepah, Saderat, Sina, Pasargadae, carafarin...
متن کاملFixed Effects Estimation of Marginal Railway Infrastructure Costs in Sweden
New railway legislation in Sweden has increased the need for transparent access charges on the Swedish railway network. We estimate cost functions for infrastructure operation, maintenance and renewal in the Swedish national railway network, using unobserved effects models and calculate marginal costs for railway infrastructure wear and tear. We find evidence of unobserved fixed effects at a tr...
متن کاملMetro Station Operating Costs: An Econometric Analysis
This article develops an econometric analysis of metro station operating cost to identify factors that create variation in cost efficiency. Stations operating costs can be classified amongst the semifixed costs that a metro faces in the sense that they do not vary proportionately with metro output. They may therefore be important in determining the degree of returns to density. This article see...
متن کاملReducing Operating Costs with Optimal Maintenance Scheduling
The potential benefits of optimal service scheduling for cleaning heat exchangers based on minimizing operating costs are explored. A demonstration is performed on a simulated 20 ton air-to-air vapor compression air conditioner. The costs of regular service schedules (indicative of current practice), minimal schedules needed to maintain comfort, and the optimal schedules are compared. Generally...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Jurnal Perkeretaapian Indonesia
سال: 2018
ISSN: 2656-8780,2550-1127
DOI: 10.37367/jpi.v2i1.46